Neil T. Dantam: Abstractions In Robot Planning